From Natural Language Requirements to Executable Models of Software Components

نویسندگان

  • Barrett R. Bryant
  • Beum-Seuk Lee
  • Fei Cao
  • Wei Zhao
  • Jeffrey G. Gray
  • Carol C. Burt
  • Rajeev R. Raje
  • Andrew M. Olson
  • Mikhail Auguston
چکیده

The UniFrame approach to component-based software development assumes that concrete components are developed from a meta-model, called the Unified Meta-component Model, according to standardized domain models. Implicit in this development is the existence of a Platform Independent Model (PIM) that is transformed into a Platform Specific Model (PSM) under the principles of ModelDriven Architecture (MDA). This position paper advocates natural language as the starting point for developing the meta-model and representative domain models. The paper illustrates how natural language is mapped through the PIM to PSM using a formal system of rules expressed in a Two-Level Grammar (TLG). This allows software requirements to be progressed from domain logic to the implementation of components. The approach provides sufficient automation such that components may be modified at the model level, or even the natural language requirements level, as opposed to the code level.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Executable Scenarios from Natural Language

Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in recent years. We have created a natural language interface, which, for a useful class of systems, yields the automatic production of executable code from structured requirements. In this paper we describe how our method uses sta...

متن کامل

Taking advantage of the symbiotic relationship between tools and processes to support executable process models

An approach for tight coupling of process models and software development tools — with the metaphor of component-based software development environments — supporting “eXecutable Process Models” (XPM) is presented. In this paper, we focus on the direction from the components of a software development environment towards the process models in order to automatically acquire process model informati...

متن کامل

Using UML 2.0 to Create Executable Code from Requirements Capture and Consistent Requirement Specifications for Real-Time Automotive Software Development

The development of vehicle control systems has evolved to become an exercise in the design and integration of complex, distributed hardware and software components. The various components are typically developed by geographically dispersed, multicultural teams from both OEMs and suppliers. This paper gives a brief overview of using the Unified Modelling Language (UML) as a means of capturing th...

متن کامل

reqT.org - Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool

[Context and motivation] This research preview presents ongoing work on a free software requirements modeling tool called reqT that is developed in an educational context. [Question/problem] The work aims to engage computer science students in Requirements Engineering (RE) through a tool that captures essential RE concepts in executable code. [Principal ideas] Requirements are modeled using an ...

متن کامل

Two-Level Grammar as an Object-Oriented Requirements Specification Language

Two-Level Grammar (TLG) is proposed QS an object-oriented requirements specification language with Q natural language (NL) style but suficiently formal to allow automatic transformation of the TLG specification into formal specifications in VDM++, an object-oriented version of the Vienna Development Method. The VDM++ specification may be further transformed into JavaTM code or integrated with t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003